Praia da Rocha: Fortaleza Santa Catarina - binnenkoer